大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbr眉cken, Germany, March 25-27, 2009. Proceedings

0
索取号：
作者：Bruza、 Peter.、Sofge、 Donald.、Lawless、 William.、Rijsbergen、 Keith.、Klusch、 Matthias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Kowalewski、 Stefan.、Philippou、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Moor、 Oege.、Schwartzbach、 Michael I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

0
索取号：
作者：Bosch、 Peter.、Gabelaia、 David.、Lang、 J茅r么me.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information

0
索取号：
作者：Sommaruga、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Tool Kits in Regional Science [electronic resource] : Theory, Models, and Estimation

0
索取号：
作者：Sonis、 Michael.、Hewings、 Geoffrey J. D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Alfaro、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Chechik、 Marsha.、Wirsing、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Castagna、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Magnetic Bearings [electronic resource] : Theory, Design, and Application to Rotating Machinery

0
索取号：
作者：Maslen、 Eric H.、Schweitzer、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Public Key Cryptography-PKC 2009 [electronic resource] : 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings

0
索取号：
作者：Jarecki、 Stanis艂aw.、Tsudik、 Gene.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theory of Cryptography [electronic resource] : 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings

0
索取号：
作者：Reingold、 Omer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Introduction to Conformal Field Theory [electronic resource] : With Applications to String Theory

0
索取号：
作者：Blumenhagen、 Ralph.、Plauschinn、 Erik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings

0
索取号：
作者：Pipek、 Volkmar.、Rosson、 Mary Beth.、Ruyter、 Boris.、Wulf、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Axiomatic Fuzzy Set Theory and Its Applications [electronic resource]

0
索取号：
作者：Liu、 Xiaodong.、Pedrycz、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.